-- BP 7.1.6 content: InstanceStateMachine syschar: 3 persistence-version: 7.1.6

INSERT INTO SM_ISM
	VALUES ("0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"d68605c0-cfa7-4e24-bc1a-9e7c046d6862");
INSERT INTO SM_SM
	VALUES ("0ef3757c-67bd-42bd-b71f-7689cac137a3",
	'',
	0);
INSERT INTO SM_MOORE
	VALUES ("0ef3757c-67bd-42bd-b71f-7689cac137a3");
INSERT INTO SM_LEVT
	VALUES ("8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEVT
	VALUES ("8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_EVT
	VALUES ("8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000",
	1,
	'create',
	0,
	'',
	'ENUM1',
	'');
INSERT INTO SM_LEVT
	VALUES ("c15298fa-cff5-4fb5-a936-08d0666c4ca5",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEVT
	VALUES ("c15298fa-cff5-4fb5-a936-08d0666c4ca5",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_EVT
	VALUES ("c15298fa-cff5-4fb5-a936-08d0666c4ca5",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000",
	2,
	'destroy',
	0,
	'',
	'ENUM2',
	'');
INSERT INTO SM_STATE
	VALUES ("bd652b69-5b8a-446a-b835-8318353e1ae8",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000",
	'Creating',
	1,
	0);
INSERT INTO SM_CH
	VALUES ("bd652b69-5b8a-446a-b835-8318353e1ae8",
	"8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("bd652b69-5b8a-446a-b835-8318353e1ae8",
	"8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEME
	VALUES ("bd652b69-5b8a-446a-b835-8318353e1ae8",
	"c15298fa-cff5-4fb5-a936-08d0666c4ca5",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_STATE
	VALUES ("ec6d39fb-97e6-46f0-a1b7-8561abaad4e6",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000",
	'Destroying',
	2,
	1);
INSERT INTO SM_CH
	VALUES ("ec6d39fb-97e6-46f0-a1b7-8561abaad4e6",
	"8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("ec6d39fb-97e6-46f0-a1b7-8561abaad4e6",
	"8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_CH
	VALUES ("ec6d39fb-97e6-46f0-a1b7-8561abaad4e6",
	"c15298fa-cff5-4fb5-a936-08d0666c4ca5",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("ec6d39fb-97e6-46f0-a1b7-8561abaad4e6",
	"c15298fa-cff5-4fb5-a936-08d0666c4ca5",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_CRTXN
	VALUES ("ead8f30e-0377-4de5-a25e-4f7655bebe64",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"8a024d51-b6e3-4ded-90fb-2cca35dbfa9c",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_TXN
	VALUES ("ead8f30e-0377-4de5-a25e-4f7655bebe64",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"bd652b69-5b8a-446a-b835-8318353e1ae8",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_NSTXN
	VALUES ("366d780b-afef-4418-9222-a016b3c9d0bb",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"bd652b69-5b8a-446a-b835-8318353e1ae8",
	"c15298fa-cff5-4fb5-a936-08d0666c4ca5",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_TXN
	VALUES ("366d780b-afef-4418-9222-a016b3c9d0bb",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"ec6d39fb-97e6-46f0-a1b7-8561abaad4e6",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_MOAH
	VALUES ("73571695-2f13-4d0f-9912-aa52fe768757",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"bd652b69-5b8a-446a-b835-8318353e1ae8");
INSERT INTO SM_AH
	VALUES ("73571695-2f13-4d0f-9912-aa52fe768757",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3");
INSERT INTO SM_ACT
	VALUES ("73571695-2f13-4d0f-9912-aa52fe768757",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	1,
	'// Only create if type doesn''t exist
select many enums from instances of ENUM;
if (cardinality enums == 1)
   create object instance type of TYPE;
   create object instance core of CORE;
   relate type to core across R401;
   type.name = "enumeration";
   core.type = data_t::ENUMERATION;
   relate core to self across R403;
   self.generateSupportedOperators();
else
   LOG::LogFailure(message:"Multiple creation of ENUM attempted!");
   generate ENUM2:destroy to self;
end if;',
	'',
	0);
INSERT INTO SM_TAH
	VALUES ("4d3c240b-616f-4b3d-abe6-a40970efafe4",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"ead8f30e-0377-4de5-a25e-4f7655bebe64");
INSERT INTO SM_AH
	VALUES ("4d3c240b-616f-4b3d-abe6-a40970efafe4",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3");
INSERT INTO SM_ACT
	VALUES ("4d3c240b-616f-4b3d-abe6-a40970efafe4",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	1,
	'',
	'',
	0);
INSERT INTO SM_MOAH
	VALUES ("4dcc5de4-cc2d-42b8-afc4-e48287c3c416",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"ec6d39fb-97e6-46f0-a1b7-8561abaad4e6");
INSERT INTO SM_AH
	VALUES ("4dcc5de4-cc2d-42b8-afc4-e48287c3c416",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3");
INSERT INTO SM_ACT
	VALUES ("4dcc5de4-cc2d-42b8-afc4-e48287c3c416",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	1,
	'select one core related by self->CORE[R403];
if (not empty core)
  core.destroy();
  unrelate core from self across R403;
  delete object instance core;
end if;',
	'',
	0);
INSERT INTO SM_TAH
	VALUES ("e888ce2e-4855-4d96-b669-0a7df5c5613c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	"366d780b-afef-4418-9222-a016b3c9d0bb");
INSERT INTO SM_AH
	VALUES ("e888ce2e-4855-4d96-b669-0a7df5c5613c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3");
INSERT INTO SM_ACT
	VALUES ("e888ce2e-4855-4d96-b669-0a7df5c5613c",
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	1,
	'',
	'',
	0);
INSERT INTO GD_MD
	VALUES ("27dd4ebb-ea03-416c-bd0a-86cb05a56bab",
	8,
	"0ef3757c-67bd-42bd-b71f-7689cac137a3",
	40,
	0,
	0,
	1,
	1,
	1,
	12,
	1,
	0,
	0,
	0,
	0,
	0,
	'4.1.17',
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Enumeration::Instance State Machine');
INSERT INTO GD_GE
	VALUES ("fc237c3e-eb9d-4af7-94b7-4981b992af8d",
	"27dd4ebb-ea03-416c-bd0a-86cb05a56bab",
	"bd652b69-5b8a-446a-b835-8318353e1ae8",
	41,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Enumeration::Instance State Machine::Creating');
INSERT INTO GD_SHP
	VALUES ("fc237c3e-eb9d-4af7-94b7-4981b992af8d");
INSERT INTO GD_NCS
	VALUES ("fc237c3e-eb9d-4af7-94b7-4981b992af8d");
INSERT INTO DIM_ND
	VALUES (169.000000,
	97.000000,
	"fc237c3e-eb9d-4af7-94b7-4981b992af8d");
INSERT INTO DIM_GE
	VALUES (4412.000000,
	3087.000000,
	"fc237c3e-eb9d-4af7-94b7-4981b992af8d",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("fc237c3e-eb9d-4af7-94b7-4981b992af8d",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_CON
	VALUES ("7f30a745-f6d3-44f8-8433-cd7cb0bb35b0",
	4482.000000,
	3087.000000,
	"fc237c3e-eb9d-4af7-94b7-4981b992af8d");
INSERT INTO DIM_CON
	VALUES ("7f2fa94b-fab0-4d26-a1df-8265f0251f4f",
	4488.000000,
	3205.000000,
	"fc237c3e-eb9d-4af7-94b7-4981b992af8d");
INSERT INTO DIM_CON
	VALUES ("977ff715-5562-4669-8ffd-d3f8250e5d1a",
	4494.000000,
	3184.000000,
	"fc237c3e-eb9d-4af7-94b7-4981b992af8d");
INSERT INTO GD_GE
	VALUES ("88eee11f-60bb-4b61-88d1-d03d8843ddab",
	"27dd4ebb-ea03-416c-bd0a-86cb05a56bab",
	"ead8f30e-0377-4de5-a25e-4f7655bebe64",
	49,
	0,
	'ENUM1: create');
INSERT INTO GD_CON
	VALUES ("88eee11f-60bb-4b61-88d1-d03d8843ddab",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("648ebcf3-2f6d-4e49-8f31-10810a569c74",
	"88eee11f-60bb-4b61-88d1-d03d8843ddab",
	0,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"648ebcf3-2f6d-4e49-8f31-10810a569c74");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"648ebcf3-2f6d-4e49-8f31-10810a569c74",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("648ebcf3-2f6d-4e49-8f31-10810a569c74",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("52b6ffbb-f73a-488a-ae30-86ecc3e97845",
	"88eee11f-60bb-4b61-88d1-d03d8843ddab",
	2,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"52b6ffbb-f73a-488a-ae30-86ecc3e97845");
INSERT INTO DIM_GE
	VALUES (4304.000000,
	3038.000000,
	"52b6ffbb-f73a-488a-ae30-86ecc3e97845",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("52b6ffbb-f73a-488a-ae30-86ecc3e97845",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("22b175ac-589b-4164-b981-2ce439e01f69",
	"88eee11f-60bb-4b61-88d1-d03d8843ddab",
	1,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"22b175ac-589b-4164-b981-2ce439e01f69");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"22b175ac-589b-4164-b981-2ce439e01f69",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("22b175ac-589b-4164-b981-2ce439e01f69",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_LS
	VALUES ("68f433c4-13a7-4d1a-98d3-f3942b1f440a",
	"88eee11f-60bb-4b61-88d1-d03d8843ddab",
	"00000000-0000-0000-0000-000000000000",
	"c9829f51-1ecc-4f21-a8e6-3e5386a07cb0",
	"ba271a02-3ec8-4e55-8a35-aef080557cb1");
INSERT INTO DIM_WAY
	VALUES ("c9829f51-1ecc-4f21-a8e6-3e5386a07cb0",
	4482.000000,
	3087.000000,
	"88eee11f-60bb-4b61-88d1-d03d8843ddab",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_WAY
	VALUES ("ba271a02-3ec8-4e55-8a35-aef080557cb1",
	4482.000000,
	3003.000000,
	"88eee11f-60bb-4b61-88d1-d03d8843ddab",
	"00000000-0000-0000-0000-000000000000",
	"c9829f51-1ecc-4f21-a8e6-3e5386a07cb0");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"88eee11f-60bb-4b61-88d1-d03d8843ddab",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("88eee11f-60bb-4b61-88d1-d03d8843ddab",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ED
	VALUES ("7f30a745-f6d3-44f8-8433-cd7cb0bb35b0",
	"00000000-0000-0000-0000-000000000000",
	"88eee11f-60bb-4b61-88d1-d03d8843ddab");
INSERT INTO GD_GE
	VALUES ("5ba4f1f1-d8ac-4889-88f6-93e52862275e",
	"27dd4ebb-ea03-416c-bd0a-86cb05a56bab",
	"ec6d39fb-97e6-46f0-a1b7-8561abaad4e6",
	41,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Enumeration::Instance State Machine::Destroying');
INSERT INTO GD_SHP
	VALUES ("5ba4f1f1-d8ac-4889-88f6-93e52862275e");
INSERT INTO GD_NCS
	VALUES ("5ba4f1f1-d8ac-4889-88f6-93e52862275e");
INSERT INTO DIM_ND
	VALUES (180.000000,
	84.000000,
	"5ba4f1f1-d8ac-4889-88f6-93e52862275e");
INSERT INTO DIM_GE
	VALUES (4412.000000,
	3267.000000,
	"5ba4f1f1-d8ac-4889-88f6-93e52862275e",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("5ba4f1f1-d8ac-4889-88f6-93e52862275e",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_CON
	VALUES ("12fa4e44-6db7-4067-9227-f06a5e9755e5",
	4494.000000,
	3267.000000,
	"5ba4f1f1-d8ac-4889-88f6-93e52862275e");
INSERT INTO GD_GE
	VALUES ("d9949576-fb75-4866-9baa-cd98b72921d1",
	"27dd4ebb-ea03-416c-bd0a-86cb05a56bab",
	"366d780b-afef-4418-9222-a016b3c9d0bb",
	42,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Enumeration::Instance State Machine::Creating::ENUM2: destroy');
INSERT INTO GD_CON
	VALUES ("d9949576-fb75-4866-9baa-cd98b72921d1",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("e74e0521-20ee-4155-8cb5-13967e894739",
	"d9949576-fb75-4866-9baa-cd98b72921d1",
	0,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"e74e0521-20ee-4155-8cb5-13967e894739");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"e74e0521-20ee-4155-8cb5-13967e894739",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("e74e0521-20ee-4155-8cb5-13967e894739",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("3ff7553a-341c-4fa2-a006-528cd61b1dff",
	"d9949576-fb75-4866-9baa-cd98b72921d1",
	2,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"3ff7553a-341c-4fa2-a006-528cd61b1dff");
INSERT INTO DIM_GE
	VALUES (4516.000000,
	3214.000000,
	"3ff7553a-341c-4fa2-a006-528cd61b1dff",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("3ff7553a-341c-4fa2-a006-528cd61b1dff",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("50a50bbb-bf1b-42e4-bd0f-ba96900676e9",
	"d9949576-fb75-4866-9baa-cd98b72921d1",
	1,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"50a50bbb-bf1b-42e4-bd0f-ba96900676e9");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"50a50bbb-bf1b-42e4-bd0f-ba96900676e9",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("50a50bbb-bf1b-42e4-bd0f-ba96900676e9",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_LS
	VALUES ("137ef576-afbf-4de3-b6ef-488a016d11fd",
	"d9949576-fb75-4866-9baa-cd98b72921d1",
	"00000000-0000-0000-0000-000000000000",
	"7ec5ad18-ceac-49fc-8d0c-cea779d4b5b6",
	"7a9a7203-5431-4ee7-9935-395e2a82fc13");
INSERT INTO DIM_WAY
	VALUES ("7ec5ad18-ceac-49fc-8d0c-cea779d4b5b6",
	4494.000000,
	3184.000000,
	"d9949576-fb75-4866-9baa-cd98b72921d1",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_WAY
	VALUES ("7a9a7203-5431-4ee7-9935-395e2a82fc13",
	4494.000000,
	3267.000000,
	"d9949576-fb75-4866-9baa-cd98b72921d1",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"d9949576-fb75-4866-9baa-cd98b72921d1",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("d9949576-fb75-4866-9baa-cd98b72921d1",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ED
	VALUES ("977ff715-5562-4669-8ffd-d3f8250e5d1a",
	"12fa4e44-6db7-4067-9227-f06a5e9755e5",
	"d9949576-fb75-4866-9baa-cd98b72921d1");
INSERT INTO DIM_DIA
	VALUES ("27dd4ebb-ea03-416c-bd0a-86cb05a56bab",
	'',
	1.000000,
	0.000000,
	0.000000,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_OBJ_PROXY
	VALUES ("d68605c0-cfa7-4e24-bc1a-9e7c046d6862",
	'Enumeration',
	406,
	'ENUM',
	'"If a data type permits a finite set of values, define it as:
    data type <name> is enumerated
    values are <value 1 >, <value 2 >, . . . <value N >
    ( default value is <value k > ) 4
    as in:
    data type IC color is enumerated
    values are red, blue, black, green, silver

The only operations permitted for data elements of an enumerated data type are 
the comparison operations, represented as = (identical in value) and 
!= (not identical in value). The result of either comparison yields a data 
element of type boolean." [OOAData]',
	"00000000-0000-0000-0000-000000000000",
	'../Enumeration.xtuml');
